1. Symbolic logic and mechanical theorem proving
پدیدآورنده : Chang, Chin- Liang
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Logic, Symbolic and mathemaical,، Automatic theorem proving,، Artificial intelligence
رده :
QA
9
.
C49